transition: 
z0-a-z1;
z0-c-z0;
z0-b-z0;
initial:
z0;
final: 
z0;
z1.